As moral injury is a still-emerging concept within the area of military mental health, prevalence estimates for moral injury and its precursor, potentially morally injurious events (PMIEs), remain unknown for many of the world’s militaries. The present study sought to estimate the prevalence of PMIEs in the Canadian Armed Forces (CAF), using data collected from CAF personnel deployed to Afghanistan, via logistic regressions controlling for relevant sociodemographic, military, and deployment characteristics. Analyses revealed that over 65% of CAF members reported exposure (...) to at least one event that would be considered a PMIE. The most commonly PMIEs individuals reported included seeing ill or injured women and children they were unable to help (48.4%), being unable to distinguish between combatants and non-combatants (43.6%), and finding themselves in a threatening situation where they were unable to respond due to the rules of engagement under which they were required to operate (35.4%). These findings provide support for both the presence of exposure to PMIEs in CAF members and the need for formal longitudinal data collection regarding PMIE exposure and moral injury development. (shrink)

Several interesting themes emerge from G. E. Moore’s previously unpub­lished review of _The Principles of Mathematics_. These include a worry concerning whether mathematical notions are identical to purely logical ones, even if coextensive logical ones exist. Another involves a conception of infinity based on endless series neglected in the Principles but arguably involved in Zeno’s paradox of Achilles and the Tortoise. Moore also questions the scope of Russell’s notion of material implication, and other aspects of Russell’s claim that mathematics reduces (...) to logic. (shrink)

This paper develops an account of the distinctive epistemic authority of avowals of propositional attitude, focusing on the case of belief. It is argued that such avowals are expressive of the very mental states they self-ascribe. This confers upon them a limited self-warranting status, and renders them immune to an important class of errors to which paradigm empirical (e.g., perceptual) judgments are liable.

A classic debate concerns whether reasonableness should be understood statistically (e.g., reasonableness is what is common) or prescriptively (e.g., reasonableness is what is good). This Article elaborates and defends a third possibility. Reasonableness is a partly statistical and partly prescriptive “hybrid,” reflecting both statistical and prescriptive considerations. Experiments reveal that people apply reasonableness as a hybrid concept, and the Article argues that a hybrid account offers the best general theory of reasonableness. -/- First, the Article investigates how ordinary people judge (...) what is reasonable. Reasonableness sits at the core of countless legal standards, yet little work has investigated how ordinary people (i.e., potential jurors) actually make reasonableness judgments. Experiments reveal that judgments of reasonableness are systematically intermediate between judgments of the relevant average and ideal across numerous legal domains. For example, participants’ mean judgment of the legally reasonable number of weeks’ delay before a criminal trial (ten weeks) falls between the judged average (seventeen weeks) and ideal (seven weeks). So too for the reasonable num- ber of days to accept a contract offer, the reasonable rate of attorneys’ fees, the reasonable loan interest rate, and the reasonable annual number of loud events on a football field in a residential neighborhood. Judgment of reasonableness is better predicted by both statistical and prescriptive factors than by either factor alone. -/- This Article uses this experimental discovery to develop a normative view of reasonableness. It elaborates an account of reasonableness as a hybrid standard, arguing that this view offers the best general theory of reasonableness, one that applies correctly across multiple legal domains. Moreover, this hybrid feature is the historical essence of legal reasonableness: the original use of the “reasonable person” and the “man on the Clapham omnibus” aimed to reflect both statistical and prescriptive considerations. Empirically, reasonableness is a hybrid judgment. And normatively, reasonableness should be applied as a hybrid standard. (shrink)

Assertions are the centre of gravity in social epistemology. They are the vehicles we use to exchange information within scientific groups and society as a whole. It is therefore essential to determine under which conditions we are permitted to make an assertion. In this paper we argue and provide empirical evidence for the view that the norm of assertion is justified belief: truth or even knowledge are not required. Our results challenge the knowledge account advocated by, e.g. Williamson (1996), in (...) general, and more specifically, put into question several studies conducted by Turri (2013, 2016) that support a knowledge norm of assertion. Instead, the justified belief account championed by, e.g. Douven (2006), seems to prevail. (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of arithmetical (...) concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...) senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

Despite pervasive variation in the content of laws, legal theorists and anthropologists have argued that laws share certain abstract features and even speculated that law may be a human universal. In the present report, we evaluate this thesis through an experiment administered in 11 different countries. Are there cross‐cultural principles of law? In a between‐subjects design, participants (N = 3,054) were asked whether there could be laws that violate certain procedural principles (e.g., laws applied retrospectively or unintelligible laws), and also (...) whether there are any such laws. Confirming our preregistered prediction, people reported that such laws cannot exist, but also (paradoxically) that there are such laws. These results document cross‐culturally and –linguistically robust beliefs about the concept of law which defy people's grasp of how legal systems function in practice. (shrink)

We develop a reading of Moore’s “Proof of an External World” that emphasizes the connections between this paper and Moore’s earlier concerns and strategies. Our reading has the benefit of explaining why the claims that Moore advances in “Proof of an External World” would have been of interest to him, and avoids attributing to him arguments that are either trivial or wildly unsuccessful. Part of the evidence for our view comes from unpublished drafts which, we believe, contain important clues concerning (...) Moore’s aims and intent. While our approach to PEW may be classified alongside other broadly "metaphysical" readings, we believe that a proper recognition of the continuity in Moore’s philosophical concerns and strategies across his philosophical career shows that the customary distinction between "epistemological" and "metaphysical" interpretative approaches to PEW is at best superficial. (shrink)

Our focus in this chapter will be the role the pride has played, both historically and contemporarily, in Christian theology and philosophical theology. We begin by delineating a number of different types of pride, since some types are positive (e.g., when a parent tells a daughter “I’m proud of you for being brave”), and others are negative (e.g., “Pride goes before a fall”) or even vicious. We then explore the role that the negative emotion and vice play in the history (...) of Christianity, with particular attention to a number of influential figures. We conclude by exploring how pride connects with a number of other central issues in Christian theology. (shrink)

Many epistemologists have argued that there is some degree of independence between individual and collective reliability (e.g., Kitcher 1990; Mayo-Wilson, Zollman, and Danks 2011; Dunn 2018). The question, then, is: To what extent are the two independent of each other? And in which contexts do they come apart? In this paper, I present a new case confirming the independence between individual and collective reliability optimization. I argue that, in voting groups, optimizing individual reliability can conflict with optimizing collective reliability. This (...) can happen even if various conditions are held constant, such as: the evidence jurors have access to, the voting system, the number of jurors, some independence conditions between voters, and so forth. This observation matters in many active debates on, e.g., epistemic dilemmas, the wisdom of crowds, independence theses, epistemic democracy, and the division of epistemic labour. (shrink)

Legal theorists seek to persuade other jurists of certain theories: Textualism or purposivism; formalism or realism; natural law theory or positivism; prison reform or abolition; universal or particular human rights? Despite voluminous literature about these debates, tremendous uncertainty remains about which views experts endorse. This Article presents the first-ever empirical study of American law professors about legal theory questions. A novel dataset of over six hundred law professors reveals expert consensus and dissensus about dozens of longstanding legal theory debates. -/- (...) Law professors also debate questions about the nature of the legal academy. Descriptively, which subjects (e.g. constitutional law) and methods (e.g. law & economics) are most central within the legal academy today? And prescriptively, should today’s legal academy prioritize additional areas (e.g. legislation) or methods (e.g. critical race theory)? There is great interest in these questions but no empirical dataset of experts’ views; this results in uncertainty about which views experts endorse. This Article’s empirical study also clarifies these questions, documenting law professors’ evaluation of over one-hundred areas of law. -/- The legal theory and legal academy findings support implications for legal scholarship, education, and practice. Clearly, debates about law and the legal academy’s evolution should not be settled by a survey. Nevertheless, insofar as law professors are experts about these issues, it is instructive to discover and carefully examine what views those experts hold, so as to help determine which views are most likely to be true and how the legal academy ought to develop. (shrink)

Envy is, roughly, the disposition to desire that another lose a perceived good so that one can, by comparison, feel better about one’s self. The divisiveness of envy follows not just from one’s willing against the good of the other, but also from the other vices that spring from it. It is for this second reason that envy is a capital vice. This chapter begins by arguing for a definition of envy similar to that given by Aquinas and then considers (...) its relationship to other vices (e.g. jealousy, schadenfreude, and hate). At the heart of envy is a disposition to make relative comparisons which lead to a sense of inferiority. This is turn can lead a person to feel and act in ways destructive of community and the self. The present chapter also addresses recent work in both psychology and economics related to envy. (shrink)

ABSTRACTWhat does it take for lawyers and others to think or talk about the same legal topic—e.g., defamation, culpability? We argue that people are able to think or talk about the same topic not when they possess a matching substantive understanding of the topic, as traditional metasemantics says, but instead when their thoughts or utterances are related to each other in certain ways. And what determines the content of thoughts and utterances is what would best serve the core purposes of (...) the representational practice within which the thought or utterance is located. In thus favoring a “relational model” in metasemantics, we share Ronald Dworkin's goal of explaining fundamental legal disagreements, and also his reliance on constructive interpretation. But what we delineate is a far more general and explanatorily resourceful metasemantics than what Dworkin articulated, which also bypasses some controversial implications for the nature of law that Dworkin alleged. (shrink)

It is sometimes alleged that the study of emotion and the study of value are currently pursued as relatively autonomous disciplines. As Kevin Mulligan notes, “the philosophy and psychology of emotions pays little attention to the philosophy of value and the latter pays only a little more attention to the former.” (2010b, 475). Arguably, the last decade has seen more of a rapprochement between these two domains than used to be the norm (cf. e.g. Roeser & Todd 2014). But (...) there still seems to be considerable potential for exchange and dialogue if the situation is compared with their intimate relationship in central strands of early realist phenomenology. The philosopher perhaps most representative of this ecumenical approach is Husserl’s early student Dietrich von Hildebrand (1889-1977). From the very early stages of his philosophical career, Hildebrand has developed one of the most original, comprehensive and nuanced accounts of emotions at whose core is a detailed examination of their connection to value. While his central concern with the ethical significance of our affective life is in many ways continuous with Scheler’s work and draws crucially on Reinach’s philosophy of mind, Hildebrand’s own reflections considerably expand on and substantially modify the picture of the ontology and normative role of emotions defended by these authors. In this article, I reconstruct Hildebrand’s view of emotions with a particular focus on those aspects which represent his most distinctive contribution to this subject. (shrink)

With An Answer to the Question: What Is Enlightenment? (1784) and What Does It Mean to Orient Oneself in Thinking? (1786), Kant presents the concept of public use of reason and defines its requirements, scope, and function. In outline, the public use of reason consists in sharing one’s thoughts with “the entire public of the world of readers” (8:37). As for its requirements, to the extent that someone communicates in their own person, i.e. not in the exercise of their function (...) as a public official, and bases their reasoning on universalizable grounds, their use of reason qualifies as public and shall be free from state censorship. Therefore, Kant’s concept of public use reason aims to establish a public debate that is free and includes in its scope, both as subjects and recipients, potentially all adult men. The ultimate function of the public use of reason is to foster moral progress and, with it, the reform of the political community according to the republican ideal. However, it is commonly held that Kant, with his 1798 essay The Conflict of the Faculties, deprives his notion of public use of reason of its progressive core and adjusts it to the absolutist conception of speech and civil service. Characterizations of state officials as “not free to make public use of their learning” (7:18) and “bound to uphold whatever […] the crown sanctions for them to expound publicly” (7:8), as well as the depiction of laypeople as “incompetent” (7:18) and “resigned to understanding nothing about [the sciences]” (7:34), have led influential interpreters to read Kant as redefining his notion of public use of reason by restricting its subjects to university professors and its recipients to government members (e.g. John Christian Laursen 1986, rpt. 1992 and 1996; Kevin Davis 1992; Steven Lestition 1993; Jay Franzel 2013). On my reading, with The Conflict of the Faculties, Kant does indeed redefine the concept of public use of reason making concessions to the absolutist notion of speech and civil service. However, a close reading of the text reveals that the public use of reason ends up being reaffirmed in its progressive core and extended in its scope. To substantiate my interpretation, I will systematically analyse and classify each of the 68 occurrences of the adjective ‘public’ in The Conflict of the Faculties and show how Kant employs the absolutist vocabulary to convey the progressive project of his previous writings. Accordingly, I argue that Kant holds on to the free public use of reason as a means to reform politics according to the republican ideal and that the employment of the absolutist vocabulary is motivated by a pragmatic attitude and a provocative stance. (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

Decisions are made under uncertainty when there are distinct outcomes of a given action, and one is uncertain to which the act will lead. Decisions are made under indeterminacy when there are distinct outcomes of a given action, and it is indeterminate to which the act will lead. This paper develops a theory of (synchronic and diachronic) decision-making under indeterminacy that portrays the rational response to such situations as inconstant. Rational agents have to capriciously and randomly choose how to resolve (...) the indeterminacy relevant to a given choice-situation, but such capricious choices once made constrain how they will choose in the future. The account is illustrated by the case of self-interested action in situations where it is indeterminate whether you yourself will survive to benefit or suffer the consequences. The conclusion emphasizes some distinctive anti-hedging predictions of the account. (shrink)

One popular conception of natural theology holds that certain purely rational arguments are insulated from empirical inquiry and independently establish conclusions that provide evidence, justification, or proof of God’s existence. Yet, some raise suspicions that philosophers and theologians’ personal religious beliefs inappropriately affect these kinds of arguments. I present an experimental test of whether philosophers and theologians’ argument analysis is influenced by religious commitments. The empirical findings suggest religious belief affects philosophical analysis and offer a challenge to theists and atheists, (...) alike: reevaluate the scope of natural theology’s conclusions or acknowledge and begin to address the influence of religious belief. (shrink)

This paper examines three accounts of the sleeping beauty case: an account proposed by Adam Elga, an account proposed by David Lewis, and a third account defended in this paper. It provides two reasons for preferring the third account. First, this account does a good job of capturing the temporal continuity of our beliefs, while the accounts favored by Elga and Lewis do not. Second, Elga’s and Lewis’ treatments of the sleeping beauty case lead to highly counterintuitive consequences. The proposed (...) account also leads to counterintuitive consequences, but they’re not as bad as those of Elga’s account, and no worse than those of Lewis’ account. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

Philosophers often suggest that their theories of free will are supported by our phenomenology. Just as their theories conflict, their descriptions of the phenomenology of free will often conflict as well. We suggest that this should motivate an effort to study the phenomenology of free will in a more systematic way that goes beyond merely the introspective reports of the philosophers themselves. After presenting three disputes about the phenomenology of free will, we survey the (limited) psychological research on the experiences (...) relevant to the philosophical debates and then describe some pilot studies of our own with the aim of encouraging further research. The data seem to support compatibilist descriptions of the phenomenology more than libertarian descriptions. We conclude that the burden is on libertarians to find empirical support for their more demanding metaphysical theories with their more controversial phenomenological claims. (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

This paper develops a problem for conciliationism that is structurally similar to the self-undermining problem but which is immune to most of the solutions offered against it. A popular objection to conciliationism is that it undermines itself. Given the current disagreement among philosophers about conciliationism, conciliationism seems to require rejecting conciliationism. Adam Elga (2010) has influentially argued that this shows that conciliationism is an incoherent method. By recommending its own rejection, conciliationism recommends multiple, incompatible responses to the same body of (...) experience. Many have offered solutions to this problem, including Elga himself. However, there is another undermining problem. When a peer disagrees about their own peerhood, conciliationism can require the rejection of the peer’s peerhood. The result is that conciliationism recommends two incompatible responses to the same body of experience in a way that parallels the original self-undermining problem. But since many, if not all, of the proposed solutions to the original undermining problem depend on distinctive characteristics of conciliationism undermining itself, they cannot apply to a peer undermining themself. I illustrate this by dividing the solutions that have been offered against the self-undermining problem into two categories: self-exempting solutions and non-exempting solutions. I then show how the proposed solutions under each type do not extend to the peer-undermining problem. If that is right, then conciliationism is faced with a more difficult undermining problem than has been so far acknowledged. (shrink)

Hartry Field has suggested that we should adopt at least a methodological deflationism: [W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions ... are needed. I argue here that we do not need to be methodological deflationists. More pre-cisely, I argue that we have no need for a disquotational truth-predicate; (...) that the word true, in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)

Predictable polarization is everywhere: we can often predict how people’s opinions, including our own, will shift over time. Extant theories either neglect the fact that we can predict our own polarization, or explain it through irrational mechanisms. They needn’t. Empirical studies suggest that polarization is predictable when evidence is ambiguous, that is, when the rational response is not obvious. I show how Bayesians should model such ambiguity and then prove that—assuming rational updates are those which obey the value of evidence—ambiguity (...) is necessary and sufficient for the rationality of predictable polarization. The main theoretical result is that there can be a series of such updates, each of which is individually expected to make you more accurate, but which together will predictably polarize you. Polarization results from asymmetric increases in accuracy. This mechanism is not only theoretically possible, but empirically plausible. I argue that cognitive search—searching a cognitively accessible space for a particular item—often yields asymmetrically ambiguous evidence, I present an experiment supporting its polarizing effects, and I use simulations to show how it can explain two of the core causes of polarization: confirmation bias and the group polarization effect. (shrink)

In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...) notion of reference. I then discuss the justifications Frege offered, focusing on his discussion of inferences involving free variables, in section 17 of Grundgesetze, and his argument, in sections 29-32, that every well-formed expression of his formal language has a unique reference. (shrink)

I argue that the theory of chance proposed by David Lewis has three problems: (i) it is time asymmetric in a manner incompatible with some of the chance theories of physics, (ii) it is incompatible with statistical mechanical chances, and (iii) the content of Lewis's Principal Principle depends on how admissibility is cashed out, but there is no agreement as to what admissible evidence should be. I proposes two modifications of Lewis's theory which resolve these difficulties. I conclude by tentatively (...) proposing a third modification of Lewis's theory, one which explains many of the common features shared by the chance theories of physics. (shrink)

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker's framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle -- concerning so-called 'reverse Sobel sequences' -- can be resolved by conversation dynamics in a theoryneutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second puzzle, by contrast, (...) relies on the interplay between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called "Gibbard phenomenon" for indicative conditionals. (shrink)

This paper investigates whether we can know how to do basic actions, from the perspective according to which knowing how to do something requires knowledge of a way to do it. A key argument from this perspective against basic know-how is examined and is found to be unsound, involving the false premise that there are no ways of doing basic actions. However, a new argument along similar lines is then developed, which contends that there are no ways of doing basic (...) actions in any sense that matters for acquiring knowledge-how. This requires coming to a deeper understanding of ways of doing things than has hitherto been sought, which should be useful for further theorizing in this area. It is concluded that analyses of knowing-how in terms of knowledge of ways are inconsistent with the common assumption that there is basic know-how. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...) ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

Kevin Lynch's books are the classic underpinnings of modern urban planning and design, yet they are only a part of his rich legacy of ideas about human purposes and values in built form. City Sense and City Design brings together Lynch's remaining work, including professional design and planning projects that show how he translated many of his ideas and theories into practice. An invaluable sourcebook of design knowledge, City Sense and City Design completes the record of one of the (...) foremost environmental design theorists of our time and leads to a deeper understanding of his distinctively humanistic philosophy. The editors, both former students of Lynch, provide a cogent summary of his career and of the role he played in shaping and transforming the American urban design profession during the 1950s, the 1960s, and the 1970s. Each of the seven thematic groupings of writings and projects that follow begins with a short introduction explaining their content and their background. The essays in part I focus on the premises of Lynch's work: his novel reading of large-scale built environments and the notion that the design of an urban landscape should be as meaningful and intimate as the natural landscape. In part II, excerpts from Lynch's travel journals reveal his early ideas on how people perceive and interpret their surroundings—ideas that culminated in his seminal work, The Image of the City. This part of the book also presents Lynch's experiments with children and his assessment of environmental-perception research. The examples of both small-scale and large-scale analysis of visual form in part III are followed by three parts on city design. These include Lynch's more theoretical works on complex planning decisions involving both functional (spatial and structural organization) and normative (how the city works in human terms) approaches, articles discussing the principles that guided Lynch's teaching and practice of city design, and descriptions of Lynch's own projects in the Boston area and elsewhere. The book concludes with essays written late in Lynch's career, fantasy pieces describing utopias and offering new design freedoms and scenarios warning of horrifying "cacotopias.". (shrink)

Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.

There are many things—call them ‘experts’—that you should defer to in forming your opinions. The trouble is, many experts are modest: they’re less than certain that they are worthy of deference. When this happens, the standard theories of deference break down: the most popular (“Reflection”-style) principles collapse to inconsistency, while their most popular (“New-Reflection”-style) variants allow you to defer to someone while regarding them as an anti-expert. We propose a middle way: deferring to someone involves preferring to make any decision (...) using their opinions instead of your own. In a slogan, deferring opinions is deferring decisions. Generalizing the proposal of Dorst (2020a), we first formulate a new principle that shows exactly how your opinions must relate to an expert’s for this to be so. We then build off the results of Levinstein (2019) and Campbell-Moore (2020) to show that this principle is also equivalent to the constraint that you must always expect the expert’s estimates to be more accurate than your own. Finally, we characterize the conditions an expert’s opinions must meet to be worthy of deference in this sense, showing how they sit naturally between the too-strong constraints of Reflection and the too-weak constraints of New Reflection. (shrink)

This paper is about guessing: how people respond to a question when they aren’t certain of the answer. Guesses show surprising and systematic patterns that the most obvious theories don’t explain. We argue that these patterns reveal that people aim to optimize a tradeoff between accuracy and informativity when forming their guess. After spelling out our theory, we use it to argue that guessing plays a central role in our cognitive lives. In particular, our account of guessing yields new theories (...) of belief, assertion, and the conjunction fallacy—the psychological finding that people sometimes rank a conjunction as more probable than one of its conjuncts. More generally, we suggest that guessing helps explain how boundedly rational agents like us navigate a complex, uncertain world. (shrink)

John MacFarlane has made relativism popular again. Focusing just on his original discussion, I argue that the data he uses to motivate the position do not, in fact, motivatie it at all. Many of the points made here have since been made, independently, by Hermann Cappelen and John Hawthorne, in their book Relativism and Monadic Truth.

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

The Lockean Thesis says that you must believe p iff you’re sufficiently confident of it. On some versions, the 'must' asserts a metaphysical connection; on others, it asserts a normative one. On some versions, 'sufficiently confident' refers to a fixed threshold of credence; on others, it varies with proposition and context. Claim: the Lockean Thesis follows from epistemic utility theory—the view that rational requirements are constrained by the norm to promote accuracy. Different versions of this theory generate different versions of (...) Lockeanism; moreover, a plausible version of epistemic utility theory meshes with natural language considerations, yielding a new Lockean picture that helps to model and explain the role of beliefs in inquiry and conversation. Your beliefs are your best guesses in response to the epistemic priorities of your context. Upshot: we have a new approach to the epistemology and semantics of belief. And it has teeth. It implies that the role of beliefs is fundamentally different than many have thought, and in fact supports a metaphysical reduction of belief to credence. (shrink)

This paper examines Bohdan Boichuk’s poetry by looking into the role his childhood memories played in forming his poetic imagination. Displaced by World War II, the poet displays a unique capacity to transcend his traumatic experiences by engaging in creative writing. Eyewitnessing war atrocities perpetrated by the Nazis does not destroy his belief in the healing power of poetry; on the contrary, it makes him appreciate poetry as the only existentially worthy enterprise. Invoking Gaston Bachelard’s classic work The Poetics of (...) Reveries: Childhood, Language, and the Cosmos, I argue that Boichuk’s vivid childhood memories, however painful they might be, helped him poetically recreate and reimagine fateful moments of his migrant life. (shrink)

Context: At present, we lack a common understanding of both the process of cognition in living organisms and the construction of knowledge in embodied, embedded cognizing agents in general, including future artifactual cognitive agents under development, such as cognitive robots and softbots. Purpose: This paper aims to show how the info-computational approach (IC) can reinforce constructivist ideas about the nature of cognition and knowledge and, conversely, how constructivist insights (such as that the process of cognition is the process of life) (...) can inspire new models of computing. Method: The info-computational constructive framework is presented for the modeling of cognitive processes in cognizing agents. Parallels are drawn with other constructivist approaches to cognition and knowledge generation. We describe how cognition as a process of life itself functions based on info-computation and how the process of knowledge generation proceeds through interactions with the environment and among agents. Results: Cognition and knowledge generation in a cognizing agent is understood as interaction with the world (potential information), which by processes of natural computation becomes actual information. That actual information after integration becomes knowledge for the agent. Heinz von Foerster is identified as a precursor of natural computing, in particular bio computing. Implications: IC provides a framework for unified study of cognition in living organisms (from the simplest ones, such as bacteria, to the most complex ones) as well as in artifactual cognitive systems. Constructivist content: It supports the constructivist view that knowledge is actively constructed by cognizing agents and shared in a process of social cognition. IC argues that this process can be modeled as info-computation. (shrink)

Philosophers and linguists currently lack the means to reliably identify evaluative concepts and measure their evaluative intensity. Using a corpus-based approach, we present a new method to distinguish evaluatively thick and thin adjectives like ‘courageous’ and ‘awful’ from descriptive adjectives like ‘narrow,’ and from value-associated adjectives like ‘sunny.’ Our study suggests that the modifiers ‘truly’ and ‘really’ frequently highlight the evaluative dimension of thick and thin adjectives, allowing for them to be uniquely classified. Based on these results, we believe our (...) operationalization may pave the way for a more quantitative approach to the study of thick and thin concepts. (shrink)

Do people tend to be overconfident? Many think so. They’ve run studies on whether people are calibrated: whether their average confidence in their opinions matches the proportion of those opinions that are true. Under certain conditions, people are systematically ‘over-calibrated’—for example, of the opinions they’re 80% confident in, only 60% are true. From this empirical over-calibration, it’s inferred that people are irrationally overconfident. My question: When and why is this inference warranted? Answering it requires articulating a general connection between being (...) rational and being right—something extant studies have not done. I show how to do so using the notion of deference. This provides a theoretical foundation for calibration research, but also reveals a flaw: the connection between being rational and being right is much weaker than is standardly assumed, since rational people can often be expected to be miscalibrated. Thus we can’t test whether people are overconfident by simply testing whether they are over-calibrated; instead, we must try to predict the rational deviations from calibration, and then compare those predictions to people’s performance. I show how this can be done—and that doing so complicates the interpretation of robust empirical effects. (shrink)

Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...) That is, our conceptual competence leads us into inconsistency. I call this alternative the inconsistency approach to the liar. Although this approach has many positive features, I argue that several of the well-developed versions of it that have appeared recently are unacceptable. In particular, they do not recognize that if truth is an inconsistent concept, then we should replace it with new concepts that do the work of truth without giving rise to paradoxes. I outline an inconsistency approach to the liar paradox that satisfies this condition. (shrink)

Abstract Philosophical discussion of Alan Turing’s writings on intelligence has mostly revolved around a single point made in a paper published in the journal Mind in 1950. This is unfortunate, for Turing’s reflections on machine (artificial) intelligence, human intelligence, and the relation between them were more extensive and sophisticated. They are seen to be extremely well-considered and sound in retrospect. Recently, IBM developed a question-answering computer (Watson) that could compete against humans on the game show Jeopardy! There are hopes it (...) can be adapted to other contexts besides that game show, in the role of a collaborator of, rather than a competitor to, humans. Another, different, research project --- an artificial intelligence program put into operation in 2010 --- is the machine learning program NELL (Never Ending Language Learning), which continuously ‘learns’ by ‘reading’ massive amounts of material on millions of web pages. Both of these recent endeavors in artificial intelligence rely to some extent on the integration of human guidance and feedback at various points in the machine’s learning process. In this paper, I examine Turing’s remarks on the development of intelligence used in various kinds of search, in light of the experience gained to date on these projects. (shrink)

“Experimental jurisprudence” draws on empirical data to inform questions typically associated with jurisprudence or legal theory. Scholars in this flourishing movement conduct empirical studies about a variety of legal language and concepts. Despite the movement’s growth, its justification is still opaque. Jurisprudence is the study of deep and longstanding theoretical questions about law’s nature, but “experimental jurisprudence,” it might seem, simply surveys laypeople. This Article elaborates and defends experimental jurisprudence. Experimental jurisprudence, appropriately understood, is not only consistent with traditional jurisprudence; (...) it is an essential branch of it. (shrink)

Jaegwon Kim argued that nonreductive physicalism faces the “exclusion problem” for higher-level causation, mental causation in particular. Roughly, the charge is that given the presumptive ubiquity of physical causation, there cannot be irreducible mental causes for physical effects. Since there are mental causes, Kim concluded that nonreductive physicalism should be rejected in favor of a more reductionist alternative according to which mental causes are just physical causes differently described. But why should mental causes be “excluded” in this way? Unfortunately, Kim (...) had less to say about this than one might expect. After reviewing some of Kim’s proposals, I suggest that the exclusion problem should be premised on nothing more or less than Occamist, simplicity-based considerations. I apply this conception of the exclusion problem to some prominent responses to Kim’s critique of nonreductive physicalism and argue that this conception mandates reconsidering the success of these responses. (shrink)

Through a series of empirical studies involving native speakers of English, German, and Chinese, this paper reveals that the predicate “true” is inherently ambiguous in the empirical domain. Truth statements such as “It is true that Tom is at the party” seem to be ambivalent between two readings. On the first reading, the statement means “Reality is such that Tom is at the party.” On the second reading, the statement means “According to what X believes, Tom is at the party.” (...) While there appear to exist some cross-cultural differences in the interpretation of the statements, the overall findings robustly indicate that “true” has multiple meanings in the realm of empirical matters. (shrink)